-- MAIN == 1
DEF MAIN:bool == not(false)
